On the Descriptive Complexity of Linear Algebra
نویسنده
چکیده
منابع مشابه
A brief introduction to quaternion matrices and linear algebra and on bounded groups of quaternion matrices
The division algebra of real quaternions, as the only noncommutative normed division real algebra up to isomorphism of normed algebras, is of great importance. In this note, first we present a brief introduction to quaternion matrices and quaternion linear algebra. This, among other things, will help us present the counterpart of a theorem of Herman Auerbach in the setting of quaternions. More ...
متن کاملSome results on Haar wavelets matrix through linear algebra
Can we characterize the wavelets through linear transformation? the answer for this question is certainly YES. In this paper we have characterized the Haar wavelet matrix by their linear transformation and proved some theorems on properties of Haar wavelet matrix such as Trace, eigenvalue and eigenvector and diagonalization of a matrix.
متن کاملDefinability of linear equation systems over groups and rings
Motivated by the quest for a logic for PTIME and recent insights that the descriptive complexity of problems from linear algebra is a crucial aspect of this problem, we study the solvability of linear equation systems over finite groups and rings from the viewpoint of logical (inter-)definability. All problems that we consider are decidable in polynomial time, but not expressible in fixedpoint ...
متن کاملA note on the new basis in the mod 2 Steenrod algebra
The Mod $2$ Steenrod algebra is a Hopf algebra that consists of the primary cohomology operations, denoted by $Sq^n$, between the cohomology groups with $mathbb{Z}_2$ coefficients of any topological space. Regarding to its vector space structure over $mathbb{Z}_2$, it has many base systems and some of the base systems can also be restricted to its sub algebras. On the contrary, in ...
متن کاملMax-Plus algebra on tensors and its properties
In this paper we generalize the max plus algebra system of real matrices to the class of real tensors and derive its fundamental properties. Also we give some basic properties for the left (right) inverse, under the new system. The existence of order 2 left (right) inverses of tensors is characterized.
متن کامل